perm filename LOGIC[W85,JMC] blob sn#789573 filedate 1985-03-28 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	logic[w85,jmc]		Mathematical Logic and Common Sense Reasoning
C00003 ENDMK
CāŠ—;
logic[w85,jmc]		Mathematical Logic and Common Sense Reasoning

	Mathematical logic has long since ceased to devote significant
effort to the original goal of the founders of the subject - Leibniz,
Boole and Frege - of studying the laws of correct thought in general.
A subset of the problem has become the whole subject.